On Domain-Specific Declarative Knowledge Representation and Database Languages

For knowledge acquisition and engineering tasks many logic based representations formalisms are available nowadays. However, most of them do not support the elicitation and representation of domain specific knowledge. On one hand building special systems, which supports these elicitation and representation tasks is a costly and cumbersome process. The direct implementation of inference mechanisms reflecting the semantics available in a specific domain leads to an inflexible system: a small change in the input language results in changes of the whole system. On the other hand domain-specific languages obtain more and more interest as a means to support user in modeling tasks. In this paper we propose to built domain-specific declarative languages using techniques from deductive databases and logic programming. This enables the usage of existing efficient and elaborated systems. The ideas are illustrated by a reengineering and combination of two declarative representation languages: Frame-Logic and Linear Temporal Logic.